Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
781	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
782	PDF Document Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2012-06-06 15:37:05 X Window System Function Computing Lambda calculus Software Mathematics Freedesktop.org
783	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
784	The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents Add to Reading List Source URL: bogumilkaminski.pl Language: English - Date: 2015-01-04 14:22:49 Data types Subroutines Functional programming Lambda calculus Procedural programming languages Anonymous function Array data type ALGOL 68 Function Software engineering Algebra Mathematics
785	Motivation We have so far seen many analyses which deal with control- and data-flow properties of pure languages. However, many languages contain operations with sideeffects, so we must also be able to analyse and safely Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-03-02 06:00:00 Models of computation Function Lambda calculus Type system Mathematics Theoretical computer science Mathematical logic
786	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
787	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-12-13 06:23:02 Baker–Campbell–Hausdorff formula Combinatorics Beta function Mathematics Mathematical analysis Lambda calculus
788	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
789	PDF Document Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-10-26 12:29:21 Programming paradigms Lambda calculus A++ Scripting languages Programming language Fixed-point combinator Abstraction ARS++ ARS-based programming Computing Software engineering Computer programming
790	A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Add to Reading List Source URL: agi-conf.org Language: English - Date: 2014-08-18 09:36:06 Logic in computer science Functions and mappings Lambda calculus Function Combinatory logic Aterm Axiom Algorithm Ordinal number Mathematics Mathematical logic Logic

UPDATE